From 4be26bd61efdb8fbc39ab4528f1f3dea040b605f Mon Sep 17 00:00:00 2001 From: Wei Liu Date: Fri, 24 Aug 2018 11:54:04 +0100 Subject: [PATCH] tools: building IPXE should be determined by CONFIG_IPXE MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Wei Liu Reviewed-by: Roger Pau Monné Acked-by: Ian Jackson --- tools/firmware/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/firmware/Makefile b/tools/firmware/Makefile index ed1a1318f6..cf304fc578 100644 --- a/tools/firmware/Makefile +++ b/tools/firmware/Makefile @@ -15,7 +15,7 @@ SUBDIRS-$(CONFIG_OVMF) += ovmf-dir SUBDIRS-$(CONFIG_SEABIOS) += seabios-dir SUBDIRS-$(CONFIG_ROMBIOS) += rombios SUBDIRS-$(CONFIG_ROMBIOS) += vgabios -SUBDIRS-$(CONFIG_ROMBIOS) += etherboot +SUBDIRS-$(CONFIG_IPXE) += etherboot SUBDIRS-$(CONFIG_PV_SHIM) += xen-dir SUBDIRS-y += hvmloader -- 2.30.2